منابع مشابه
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus increasing flexibility of network administration. Programmable network routers are configured using domain-specific languages. The ability to evolve router programs dynamically creates potential for misconfigurations. By exploiting domain-specific abstractions, we are able to translate router configurations ...
متن کاملLinear optical quantum computing
Pieter Kok, 2, ∗ W.J. Munro, Kae Nemoto, T.C. Ralph, Jonathan P. Dowling, 6 and G.J. Milburn Department of Materials, Oxford University, Oxford OX1 3PH, UK Hewlett-Packard Laboratories, Filton Road Stoke Gifford, Bristol BS34 8QZ, UK National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan Centre for Quantum Computer Technology, University of Queensland, St. Luci...
متن کاملScheduling Computations on a Programmable Router
It is becoming increasingly common for routers to compute on packets in addition to forwarding them, thereby exposing the problem of how the router’s CPU cycles are scheduled. To complicate matters, this scheduling decision may be constrained by the desire to differentiate the level of service given different packet flows. This paper addresses the issue of scheduling computations on a programma...
متن کاملModel Checking Programmable Router Configurations with Spin
In this paper we describe the use of model checking techniques in the application area of programmable networks. Programmable networks offer the ability to customize router behaviour at run time, thus increasing flexibility of network administration. Programmable network routers are configured using domain-specific languages. The ability to evolve router programs dynamically creates potential f...
متن کاملLinear and nonlinear optical properties of a modified Gaussian quantum dot: pressure, temperature and impurity effect
In this paper, the effect of pressure, temperature and impurity on the energylevels, binding energy, linear and nonlinear optical properties of a modified Gaussianquantum dot are studied. In this regard, the finite element method is employed to solvethe single electron Schrodinger equation in the effective mass approximation with andwithout impurity at the center of the dot. In addition, the en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Optics Communications
سال: 2013
ISSN: 0030-4018
DOI: 10.1016/j.optcom.2013.02.052